Gröbner fans of x-homogeneous ideals in R〚t〛[x]
نویسندگان
چکیده
We generalise the notion of Gröbner fan to ideals in RJtK[x1, . . . , xn] for certain classes of coefficient rings R and give a constructive proof that the Gröbner fan is a rational polyhedral fan. For this we introduce the notion of initially reduced standard bases and show how these can be computed in finite time. We deduce algorithms for computing the Gröbner fan, implemented in the computer algebra system Singular. The problem is motivated by the wish to compute tropical varieties over the p-adic numbers, which are the intersection of a subfan of a Gröbner fan as studied in this paper by some affine hyperplane, as shown in a forthcoming paper.
منابع مشابه
Computing Tropical Varieties over Fields with Valuation
We show how tropical varieties of ideals I E K[x] over a field K with non-trivial valuation can always be traced back to tropical varieties of ideals π−1I E RJtK[x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we present algorithms on how the latter can be computed in finite time, provided that π−1I is generated by elements in R[t, x]. While doing so, we ...
متن کاملComputing Gröbner fans
This paper presents algorithms for computing the Gröbner fan of an arbitrary polynomial ideal. The computation involves enumeration of all reduced Gröbner bases of the ideal. Our algorithms are based on a uniform definition of the Gröbner fan that applies to both homogeneous and non-homogeneous ideals and a proof that this object is a polyhedral complex. We show that the cells of a Gröbner fan ...
متن کاملSome Results on dh-Closed Homogeneous Gröbner Bases and dh-Closed Graded Ideals
Let K be a field and R = ⊕p∈NRp an N-graded K-algebra, which has an SM K-basis (i.e. a skew multiplicative K-basis) such that R holds a Gröbner basis theory. It is proved that there is a one-to-one correspondence between the set of Gröbner bases in R and the set of dh-closed homogeneous Gröbner bases in the polynomial algebra R[t]; and that the similar result holds true if R and R[t] are replac...
متن کاملz_R-Ideals and z^0_R -Ideals in Subrings of R^X
Let X be a topological space and R be a subring of RX. By determining some special topologies on X associated with the subring R, characterizations of maximal fixxed and maximal growing ideals in R of the form Mx(R) are given. Moreover, the classes of zR-ideals and z0R-ideals are introduced in R which are topological generalizations of z-ideals and z0-ideals of C(X), respectively. Various c...
متن کاملJa n 20 01 GRÖBNER BASES AND REGULARITY OF REES ALGEBRAS
Introduction Let B = k[x 1 ,. .. , x n ] be a polynomial ring over a field k and A = B/J a quotient ring of B by a homogeneous ideal J. Let m denote the maximal graded ideal of A. Then the Rees algebra R = A[mt] may be considered a standard graded k-algebra and has a presentation B[y 1 ,. In this paper we want to compare the ideals J and I J as well as their homological properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 83 شماره
صفحات -
تاریخ انتشار 2017